Project Title    Supervisor-Synthesis-and-Performance-Improvement-for-Automated-Manufacturing-Systems-by-Using-Petri-Nets